IPPLE-S
FRIPPLE-S
FRIPPLE-S
FRIPPLE-S
FRIPPLE-S
FRIPPLE-S
FRIPPLE-S
FRIPPLE-S
FRIPPLE-S
FRIPPLE-S
FRIPPLE-S
FRIPPLE-S
FRIPPLE-S
FRIPPLE-S
FRIPPLE-S
FRIPPLE-S
FRIPPLE-S
FRIPPLE-S
EXS
DEFN
ISA
EVERY2
SAFE-DEFN
ABT1
ANYB-TIES-E-FILLIN1
PROGN
APPLY
SELECTQ
ANYB-TIES
FILLIN1
FILLIN
EVAL
XEQ-CAND
TLOOP
START
**TOP**

:AM-BT)
AM-BT
   (V1)
   ((V1))
ANYB-TIES
   (BP BA1 BA2 BA3 BA4)
   (FILLIN1 NIL NIL NIL NIL)
NIL
:
BTV FROM EXS
 Running at 434223  Load av. =  1.26, used 1:04:38.6 in 2:25:18
π Running at 434223  Load av. =  1.26, used 1:05:43.2 in 2:26:20

BREAK

(BLIPEVAL broken)
:ARGLIST(EXS)
(B)
:
ARGLIST(FRIPPLE-S)
(RB)
:
B
OPERATION
:RB
CANONIZE-SAME-SIZE&OBJ-EQUAL
:(GETP RB SPEC)
(CANONIZE-SAME-SIZE&OBJ-EQUAL)
:
(GETP RB GENL)
(SIZE)
:
(REMPROP RB SPEC)
SPEC
:
(RETFROM 'EXS (EXS OPERATION))

 Filled in conjectures involving the concept of 
CANONIZE-SAME-SIZE&OBJ-EQUAL.
       0 conjectures involving the concept existed originally on 
CANONIZE-SAME-SIZE&OBJ-EQUAL.
       1 potential new entries were just proposed.

 Eliminating duplicates,  the newly constructed 
conjectures involving the concept are:
      (CANONIZE-SAME-SIZE&OBJ-EQUAL is a specialization of SIZE)
 After eliminating duplicate and already-known entries,  AM finds that.
 only 3 new,  distinct conjectures involving the concept of 
CANONIZE-SAME-SIZE&OBJ-EQUAL had to be added.



 Do-thresh raised from 472 to 534.

 This Cand used 483.315 cpu seconds.




 The top 3 Cands are:
    1: Check all examples of Size
    2: Check all things which just barely miss being examples of Number
    3: Coalesce Map-join

 I choose first Cand.       OK?   yes.

       The reason is: (Some new ,  unchecked examples of SIZE have
recently been added)


      Beginning 124th cycle.



 Based on empirical experiments,  AM believes that SIZE may really be no
 more specialized than SIZE.

 AM conjectures that SIZE and SIZE are equivalent.


 Based on empirical experiments,  AM believes that SIZE may really be no
 more specialized than SIZE.

 AM conjectures that SIZE and SIZE are equivalent.
 Running at 434223  Load av. =  1.14, used 1:06:53.3 in 2:28:52
 Running at 434223  Load av. =  1.26, used 1:07:15.7 in 2:29:13
π
BREAK

(BLIPEVAL broken)
:BT
BLIPEVAL
HELPDLBLOCK
ERRORX
GETP
FRIPPLE-G
FRIPPLE-G
FRIPPLE-G
FRIPPLE-G
FRIPPLE-G
FRIPPLE-G
FRIPPLE-G
FRIPPLE-G
FRIPPLE-G
FRIPPLE-G
FRIPPLE-G
FRIPPLE-G
FRIPPLE-G
FRIPPLE-G
FRIPPLE-G
FRIPPLE-G
FRIPPLE-G
FRIPPLE-G
FRIPPLE-G
FRIPPLE-G
FRIPPLE-G
FRIPPLE-G
FRIPPLE-G
FRIPPLE-G
FRIPPLE-G
FRIPPLE-G
FRIPPLE-G
FRIPPLE-G
FRIPPLE-G
FRIPPLE-G